Reasoning about Knowledge and Strategies: Epistemic Strategy Logic
نویسندگان
چکیده
منابع مشابه
Reasoning about Knowledge and Strategies: Epistemic Strategy Logic
In this paper we introduce Epistemic Strategy Logic (ESL), an extension of Strategy Logic with modal operators for individual knowledge. This enhanced framework allows us to represent explicitly and to reason about the knowledge agents have of their own and other agents’ strategies. We provide a semantics to ESL in terms of epistemic concurrent game models, and consider the corresponding model ...
متن کاملReasoning about Dynamic Epistemic Logic
We present an algebra and sequent calculus to reason about dynamic epistemic logic, a logic for information update in multi-agent systems. We contribute to it by equipping it with a logical account of resources, a semi-automatic way of reasoning through the algebra and sequent calculus, and finally by generalizing it to non-boolean settings. Dynamic Epistemic Logic (DEL) is a PDL-style logic [1...
متن کاملReasoning About Knowledge in Philosophy: The Paradigm of Epistemic Logic
Theories of knowledge representation and reasoning about knowledge in philosophy are considered from the vantage point of epistemic logic. This logic is primarily a logic of knowing that, and its semantics can be considered an explication of the well-known idea that "information means elimination of uncertainty". A number of other theories are discussed as further developments of epistemic logi...
متن کاملReasoning About Knowledge and Action in an Epistemic Event Calculus
We present a generalization of classical-logic Event Calculus that facilitates reasoning about non-binary-valued fluents in domains with non-deterministic, triggered, concurrent, and possibly conflicting actions. We show how this framework may be used as a basis for a “possible-worlds” style approach to epistemic and causal reasoning in a narrative setting. In this framework an agent may gain k...
متن کاملEpistemic trust: modeling children's reasoning about others' knowledge and intent.
A core assumption of many theories of development is that children can learn indirectly from other people. However, indirect experience (or testimony) is not constrained to provide veridical information. As a result, if children are to capitalize on this source of knowledge, they must be able to infer who is trustworthy and who is not. How might a learner make such inferences while at the same ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2014
ISSN: 2075-2180
DOI: 10.4204/eptcs.146.4